Where intelligence tests fail

4 Where Fail - Safe Default Logics Fail Paolo Liberatore

Reiter’s original definition of default logic allows for the application of a default that contradicts a previously applied one. We call failure this condition. The possibility of generating failures has been in the past considered as a semantical problem, and variants have been proposed to solve it. We show that it is instead a computational feature that is needed to encode some domains into d...

Automatically Proving Termination Where Simpliication Orderings Fail ?

To prove termination of term rewriting systems (TRSs), several methods have been developed to synthesize suitable well-founded or-derings automatically. However, virtually all orderings that are amenable to automation are so-called simpliication orderings. Unfortunately, there exist numerous interesting and relevant TRSs that cannot be oriented by orderings of this restricted class and therefor...

Automatically Proving Termination Where Simplification Orderings Fail

To prove termination of term rewriting systems (TRSs), several methods have been developed to synthesize suitable well-founded or-derings automatically. However, virtually all orderings that are amenable to automation are so-called simpliication orderings. Unfortunately, there exist numerous interesting and relevant TRSs that cannot be oriented by orderings of this restricted class and therefor...

Where Does Subjective Expected Utility Fail Descriptively ?

Subjective expected utility (SEU) rests on and implies four tenets of rational preferences; transitivity, monotonicity of consequences, independence of a common consequence, and accounting equivalences. Empirical evidence against transitivity and monotonicity is reevaluated and the opposite conclusion drawn using more recent data. The more complex accounting equivalences are descriptively impla...

Scholastic and Intelligence Tests.